Search CORE

6 research outputs found

Object-oriented logical specification of time-critical systems

Author: ALUR R.
Angelo Morzenti
BERNSTEIN A.
BOLOGNESI T.
CAR GTON
CHEN W.
CO SINI
CONERY J. S.
CORSETTI E.
CUSACK E.
DEREMER F.
FELDER M.
FUTATSUGI K.
GOGUEN J. A.
KAHN K.
KEMMERER A.
KOYMANS R.
MANDRIOLI D.
MILLER D.
MORZENTI A.
MORZENTI A.
O'KEEFE R.A.
OSTROFF J.
Pierluigi San Pietro
PNUELI A.
RESCHER N.
SHAP O
SNYDER
WARD P. T.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

GENESIS OF POLYMETALLIC AND PRECIOUS-METAL ORES IN THE WESTERN MEDITERRANEAN PROVINCE (CEVENNES, FRANCE-SARDINIA, ITALY)

Author: BARATTO M
BEZIAT P
CARON C
COURJAULT RADE' PH
F. ELTER
LANCELOT J
LIBERTA' A
MALUSKI H
OMENETTO P. WITH CO-AUTHORS GANDIN A
ORGEVAL J.J
SALPATEUR Y
SINI G
Publication venue
Publication date: 01/01/2000
Field of study

Archivio istituzionale della ricerca - Università di Genova

Mechanism of action involved in the hepatoprotective activities of methanol extract of Cassytha filiformis L. aerial parts in CCl4-induced liver damage

Author: AH Conney
AK Parpart
CC Adonu
Chinaka O. Nwaehujor
CO Nwaehujor
D Bartlett
D Lorke
EJ King
Florence C. Nwinyi
HJ Forman
HT Malloy
I Appiah
IL Bykov
Julius O. Ode
KG Tolman
KL Krishna
KTM Senthilkumar
MC Johnson
MW Cowman
N Ardanaz
Onyeka V. Asuzu
PCH Konturek
PE Wells
S Hoet
S Mythili
S Reitman
S Sini
T Elekwa
T Rabe
TA Ajith
YC Wu
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Nuclear Receptor-Like Structure and Interaction of Congenital Heart Disease-Associated Factors GATA4 and NKX2-5

mTOR Inhibition Attenuates Dextran Sulfate Sodium-Induced Colitis by Suppressing T Cell Proliferation and Balancing TH1/TH17/Treg Profile

Author: A Gopisetty
A Izcue
A Kaser
A Kitani
A Mondino
A O'Garra
AF Heiseke
AW Thomson
B Martin
B Martin
BR Rosborough
C Abraham
C Matsuda
C Veltkamp
CC Thoreen
CM Chresta
CO Elson
D Maseda
D Yen
DA Guertin
E Bernasconi
E Gangi
E Yurchenko
F Annunziato
F Flores-Borja
F Hua
F Karlsson
FE Lund
G Gathungu
GF Salinas
GM Delgoffe
H Ito
H Kared
H Ogino
H Sokol
H Takedatsu
H Yin
HJ Shin
HM Ashour
HM Ashour
Hossam M Ashour
HS Cooper
IV Ustyugova
J Mudter
J Rowin
JB Brown
JD Powell
Jie Zhong
Jie Zhou
K Atarashi
L Willems
LA Zenewicz
Lei Wang
M Kleinewietfeld
MA Wurbel
Maochen Zhang
ME Morgan
Mengmeng Chen
P Bhattacharya
P Bhattacharya
P Bhattacharya
P Bhattacharya
P Sini
PA Blair
Q Li
Ran Tao
RB Sartor
RJ Robb
Rong Fan
RV Luckheeram
S Farkas
S Gaudreau
S Makita
Shurong Hu
Sichang Zheng
SJ Brown
SK Sainathan
T ten Hove
Tianyu Zhang
WJ Sandborn
X Wu
Xiqiang Liu
Yaofei Pei
Yilin Wang
Yun Lin
Z Chen
Zhengting Wang
Publication venue: 'Public Library of Science (PLoS)'
Publication date
Field of study

Gas-Phase Valence-Electron Photoemission Spectroscopy Using Density Functional Theory

Author: A Borgoo
A Castro
A Cehovin
A Einstein
A Goldberg
A Görling
A Karolewski
A Karolewski
A Krukau
A Makmal
A Pohl
A Savin
A Savin
A Seidl
AD Becke
AD Becke
AD Becke
AJ Cohen
AJ Cohen
AK Rajagopal
AM Teale
B Brena
B Moore
B Moore
BG Janesko
C Adamo
C Lee
C Toher
C Ullrich
CA Ullrich
CO Almbladh
D Glötzel
D Hofmann
D Hofmann
D Rocca
D Stradi
DA Telnov
DJ Tozer
DJ Tozer
DM Ceperley
DN Hendrickson
DP Chong
DP Woodruff
DS Sholl
DW Turner
E Engel
E Fermi
E Kraisler
E Livshits
E Runge
E Sagvolden
E Salomon
EJ Baerends
EJ Baerends
EKU Gross
EKU Gross
EKU Gross
F Aryasetiawan
F Bisti
F Bisti
F Bisti
F Corá
F Evangelista
F Flores
F Fuchs
F Rissner
G Onida
G Sini
G Strinati
GKL Chan
H Fukagawa
H Hertz
H Iikura
H Phillips
H Yasuhara
HW Kroto
HW Kroto
I Dabo
I Dabo
J Heyd
J Hwang
J Paier
J Ren
J Sauther
JA Apelbaum
JC Grossman
JD Chai
JD Chai
JD Gledhill
JD Talman
JP Perdew
JP Perdew
JP Perdew
JP Perdew
JP Perdew
JP Perdew
JP Perdew
JP Perdew
JP Perdew
JR Chelikowsky
K Akaike
K Burke
K Burke
K Capelle
KJ Taylor
L Hedin
L Hedin
L Hedin
L Kronik
L Kronik
L Kronik
L Kronik
L Segev
LD Landau
LH Thomas
LJ Sham
LJ Sham
M Cococcioni
M Dauth
M Ernzerhof
M Grüning
M Hellgren
M Lein
M Levy
M Moseler
M Mundt
M Mundt
M Palummo
M Rohlfing
M Rohlfing
M Schilfgaarde van
M Srebro
M Thiele
M Vincendon
M Walter
MA Rohrdanz
ME Casida
ME Casida
ME Foster
MJ Allen
MJ Lucero
ML Tiago
MR Pederson
MR Pederson
MR Pederson
MS Hybertsen
MT Yin
N Binggeli
N Dori
N Marom
N Marom
N Marom
N Marom
N Marom
N Sai
N Sato
O Cheshnovsky
O Guliamov
OA Vydrov
OA Vydrov
OT Ehrler
P Duffy
P Hohenberg
P Puschnig
P Rinke
P-G Reinhard
PJ Stephens
R Armiento
R Baer
R Baer
R Boschi
R Stowasser
RG Parr
RM Martin
RN Barnett
RO Jones
RT Sharp
RW Godby
RW Godby
S Evans
S Hüfner
S Kümmel
S Kümmel
S Lany
S Refaely-Abramson
S Refaely-Abramson
S Sharifzadeh
S Yang
SJ Vosko
SY Quek
T Grabo
T Körzdörfer
T Körzdörfer
T Körzdörfer
T Körzdörfer
T Körzdörfer
T Leininger
T Liebsch
T Stein
T Stein
T Stein
T Stein
T Yanai
TC Koopmans
U Barth von
U Giovannini De
U Salzner
U Salzner
V Sahni
VN Nemykin
VN Staroverov
W Eberhardt
W Koch
W Kohn
WG Aulbur
X Blase
X Blase
X Zheng
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core